منابع مشابه
Transcendental syntax 2.0
How come that finite language can produce certainty — at least a sufficiently certain certainty, sometimes apodictic — in the presence of infinity? The answer can by no means be found in external reality, quite the contrary: it seems that the very purpose of semantics is to make this question untractable with the help of an ad hoc analytical newspeak in which one cannot even formulate the above...
متن کاملTranscendental syntax I: deterministic case
We study logic in the light of the Kantian distinction between analytic (untyped, meaningless, locative) answers and synthetic (typed, meaningful, spiritual) questions. Which is specially relevant to proof-theory: in a proof-net, the upper part is locative, whereas the lower part is spititual: a posteriori (explicit) as far as correctness is concerned, a priori (implicit) for questions dealing ...
متن کاملTranscendental syntax II: non deterministic case
Using a non deterministic analytics, it is possible to expand the autonomous explanation of logic, a.k.a. transcendental syntax, to full logic, i.e., first order predicate calculus with equality. This paper concentrates on additives, intuitionistic negation and on a paradoxically unexplored territory: predicates (by opposition to propositions).
متن کاملGeometry of Interaction VI: a blueprint for Transcendental Syntax
The paper makes use of a finitary version of Geometry of Interaction to fix most pending problems in propositional proof-nets. The methodological guidelines are those of transcendental syntax. 1 Transcendental Syntax Transcendental syntax starts where semantics fails: foundational issues1. 1.1 Splendor. . . Semantics is very valuable tool: nothing is better than a good model-theoretic argument....
متن کاملWord Ordering Without Syntax
Recent work on word ordering has argued that syntactic structure is important, or even required, for effectively recovering the order of a sentence. We find that, in fact, an n-gram language model with a simple heuristic gives strong results on this task. Furthermore, we show that a long short-term memory (LSTM) language model is even more effective at recovering order, with our basic model out...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sign Systems Studies
سال: 2015
ISSN: 1736-7409,1406-4243
DOI: 10.12697/sss.2015.43.1.02